REF, NoConds
\\[0ex]MaAuto $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$MaAuto$\cdot$